дизъюнкция
71Логические операции — В логике логическими операциями называют действия, вследствие которых порождаются новые понятия, возможно с использованием уже существующих. В более узком, формализованном смысле, понятие логической операции используется в математической логике и …
72Логические связки — В логике логическими операциями называют действия, вследствие которых порождаются новые понятия, возможно с использованием уже существующих. В более узком, формализованном смысле, понятие логической операции используется в математической логике и …
73Пропозициональная логика — Логика высказываний (или пропозициональная логика) это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка.… …
74Математические обозначения — Список используемых в математике специфических символов можно увидеть в статье Таблица математических символов Математические обозначения («язык математики»)  сложная графическая система обозначений, служащая для изложения абстрактных… …
75ХРИСИПП — ХРИСИПП (Χρύσιππος) из Сол (ок. 278 ок. 205 н. э.), третий схоларх Стой и крупнейший представитель стоицизма, ученик и преемник Клеанфа. Жизнь. Единственное определенное хронологическое свидетельство «Хроники» Аполлодора (SVF II 1 = D. L …
76дилемма — ДИЛЕММА (от греч. dilemma: di(s) дважды и lemma посылка) условно разделительное умозаключение, содержащее две условные (импликативные) посылки и одну разделительную (дизъюнктивную) посылку. В традиционной логике обычно выделяли… …
77конструктивная логика — КОНСТРУКТИВНАЯ ЛОГИКА (от лат. constructio построение) совокупность логических принципов, признаваемых приемлемыми представителями конструктивизма в математике. Предметом конструктивизма являются конструктивные объекты и конструктивные… …
78логика многозначная — ЛОГИКА МНОГОЗНАЧНАЯ обобщение классической двузначной логики С2 Логика высказываний), посредством которого к обычным истинностным значениям «истина» и «ложь» добавляются другие истинностные значения. Именно на этом пути была впервые… …
79и/или — и/или  составной союз, использующийся в современных официально деловых (юридических, финансовых, государственных[1]), технических и иных текстах на русском языке. Указывает на возможность как одновременного наличия субъектов (признаков… …
80ЛОГИКА ВЫСКАЗЫВАНИЙ, или ПРОПОЗИЦИОНАЛЬНАЯ ЛОГИКА — раздел дедуктивной логики, в котором вопрос об истинности (или ложности) высказываний (т. е. суждений, рассматриваемых без их субъектно предикатной структуры) в умозаключениях рассматривается на основе изучения следующего средства их выражения т …
